Procedural programming

Results: 6438



#Item
701Frama-C / Program analysis / Procedural programming languages / Static program analysis / Plug-in / C / D / Computing / Software engineering / Computer programming

User Manual Frama-C User Manual Release BoronLoïc Correnson, Pascal Cuoq, Armand Puccetti and Julien Signoles

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:51
702Procedural programming languages / Control flow / Source code / Cross-platform software / Subroutines / C / Yorick / Test / For loop / Computing / Software engineering / Computer programming

Yorick: An Interpreted Language David H. Munro cThe Regents of the University of California. All rights reserved. Copyright Permission to use, copy, modify, and distribute this software for any purpose without

Add to Reading List

Source URL: yorick.sourceforge.net

Language: English - Date: 2005-07-31 23:54:27
703Java programming language / Functional languages / Cross-platform software / Assembly languages / Procedural programming languages / Java / ALGOL 68 / Iterator / Type system / Computing / Software engineering / Computer programming

Notes on GenICode c Miguel Garcia, STS, Hamburg University of Technology http://www.sts.tu-harburg.de/people/mi.garcia February 22, 2010

Add to Reading List

Source URL: www.sts.tu-harburg.de

Language: English - Date: 2010-02-23 04:30:28
704Data types / Type theory / Functional programming / Functional languages / Procedural programming languages / Scala / Type system / Anonymous function / Domain-specific language / Computing / Software engineering / Computer programming

Tool Demo: Scala-Virtualized Adriaan Moors Tiark Rompf Philipp Haller ∗

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2013-05-22 06:19:31
705Functional languages / Data types / Procedural programming languages / Cross-platform software / R / C++ classes / C / Data file / Object / Computing / Software engineering / Computer programming

R for Beginners Emmanuel Paradis ´ Institut des Sciences de l’Evolution Universit´e Montpellier II

Add to Reading List

Source URL: cran.usthb.dz

Language: English - Date: 2005-11-29 10:17:51
706Control flow / Procedural programming languages / High-level programming languages / Python / Eval / Assignment / Conditional / Lexical analysis / Scheme / Software engineering / Computing / Computer programming

Introduction to Computing: Explorations in Language, Logic, and Machines

Add to Reading List

Source URL: www.computingbook.org

Language: English - Date: 2011-08-19 11:52:34
707Procedural programming languages / C programming language / Cross-platform software / Functional languages / Lisp programming language / C Sharp / ALGOL 68 / C / Lisp / Computing / Software engineering / Computer programming

Microsoft PowerPoint - JavaPerformanceModel.ppt

Add to Reading List

Source URL: accu.org

Language: English - Date: 2007-05-22 13:29:24
708Functional languages / Data types / Procedural programming languages / Cross-platform software / R / C++ classes / C / Data file / Object / Computing / Software engineering / Computer programming

R for Beginners Emmanuel Paradis ´ Institut des Sciences de l’Evolution Universit´e Montpellier II

Add to Reading List

Source URL: cran.hafro.is

Language: English - Date: 2005-11-29 10:17:51
709Computing / ALGOL 68 / HOL / Programming language theory / Procedural programming languages / Software engineering

DRA FRONT END FILTER PROJECT Specification of SSQL Semantics I Lemma 1 Project:

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2009-12-05 09:38:05
710Procedural programming languages / Evaluation strategy / Incremental computing / Partial evaluation / Kernel / Interpreter / C / Data type / Software engineering / Computing / Software

Automatic Program Specialization for Interactive Media Scott Draves July 22, 1997 CMU-CS

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:36
UPDATE